2041. The grammar of mathematic
Author: Durst, Lincoln K.,]by[ Lincoln K. Durst
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D86
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2042. The grammar of mathematics
Author: Durst, Lincoln K
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D86
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2043. The incomputable : journeys beyond the Turing barrier
Author: S. Barry Cooper, Mariya I. Soskova, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
63
.
I52
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2044. The language of logic
Author: Freudenthal, Hans
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
F7513
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2045. The limits of science; outline of logic and of the methodology of the exact sciences.
Author: Chwistek, Leon
Library: Central Library and Documentation Center (Kerman)
Subject: ، Science - Methodology,، Mathematics - Philosophy,، Logic, Symbolic and mathematical
Classification :
Q
175
.
C494
1948
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2046. The limits of science;outline of logic and of the methodology of the exact sciences
Author: By the late Leon Chwistek; Introduction and appendix by Helen Charlotte Brodie
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Science--Methodology.,Mathematics--Philosophy.,Logic, Symbolic and mathematical.
![](/design/images/bookmore.png)
2047. The limits of science; outline of logic and of the methology of the exact science
Author: / [Translated from the Polish by Helen Charlotte Brodie and Arthur P. Coleman] Introduction and appendix by Helen Charlotte Brodie,Chwistek
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Science -- Methodolgy,Mathematics -- Philosophy.,Logic, Symbolic and mathematical
Classification :
Q
175
.
C494
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2048. The logic book /
Author: Merrie Bergmann, James Moor, Jack Nelson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Predicate (Logic)
Classification :
BC135
.
B435
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2049. The logic book
Author: Bergmann, Merrie.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Prediction )Logic(
Classification :
BC
135
.
B435
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2050. The logic book /
Author: Merrie Bergmann, James Moor, Jack Nelson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Predicate (Logic),Logic, Symbolic and mathematical.,Logica.,Predicate (Logic),Symbolische logica.,Voorspellingen.,Wiskundige logica.
Classification :
BC135
.
B435
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2051. The logic design of transistor digital computers
Author: / by Gerald A. Maley [and] John Earle
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers--Design and construction,Transistor circuits,Logic,Symbolic and mathematical
Classification :
TK
7888
.
3
.
M3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2052. The logic of Infinity /
Author: Barnaby Sheppard
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Set theory
Classification :
QA248
.
S44
2014
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2053. The logic of chance
Author: Venn, John
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Chance,، Probabilities,Methodology ، Science,، Logic, Symbolic and mathematical
Classification :
BC
141
.
V4
1962
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2054. The logic of chance
Author: / by John Venn
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Chance,Probabilities,Science - Methodology,Logic . symbolic and mathematical
Classification :
BC141
.
V4
1962
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2055. The logic of information structures
Author: Wansing, Heinrich T.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
681
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2056. The logic of information structures
Author: Wansing, Heinrich
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
W235
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2057. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2058. The logic of partial information
Author: Nait Abdallah, Areski, 0591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2059. The logic of programming
Author: Hehner, Eric C. R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H427
1984
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2060. The logic of programming
Author: / Eric C. R. Hehner
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Programming(Electronic computer),Logic,Symbolic and mathematical
Classification :
QA
76
.
76
.
H427
1984
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)